منابع مشابه
Lenalidomide-Associated ITP
Lenalidomide is a potent immunomodulatory agent being used increasingly for treatment of hematologic malignancies including multiple myeloma and myelodysplasia. The common toxicities of lenalidomide, including dose-limiting myelosuppression, are well described. However, the immunomodulatory properties of lenalidomide may give rise to unexpected autoimmune complications. Herein, we describe a ca...
متن کاملA quick ITP tutorial
The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e., specifications in membership equational logic with an initial algebra semantics. The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements.
متن کاملThe Itp Tool's Manual *
The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e., specifications in membership equational logic with an initial algebra semantics. The ITP tool has been written entirely in Maude and is in fact an executable specification of the formal inference system that it implements. 1 Getting started To run the current version of the ...
متن کاملMaude ITP 2.0 Tutorial
The present tutorial describes the main features, commands, and proof techniques supported by the Maude ITP 2.0 inductive theorem
متن کاملBregging rights in ITP.
Just as we all have had our fill of the many articles on the T regulatory cell (Treg) abnormalities in immune thrombocytopenia (ITP), in this issue of Blood Li et al have identified a new regulatory player; the B regulatory cell (Breg).1 They find that Bregs have similar properties to Tregs in ITP; they are deficient in active disease and therapy that raises platelet counts also rescues the und...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Seminars in Cell & Developmental Biology
سال: 2006
ISSN: 1084-9521
DOI: 10.1016/j.semcdb.2006.02.001